(set-logic QF_UF)
(set-info :status unsat)
(declare-fun uf6 (Bool) Bool)
(declare-fun x () Bool)
(declare-fun z () Bool)
(assert (uf6 x))
(assert (not (uf6 z)))
(assert (not (uf6 (not z))))
(check-sat)
